Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
281	Computer-assisted proofs Arnold Neumaier Fakult¨at f¨ur Mathematik, Universit¨at Wien Nordbergstr. 15, A-1090 Wien, Austria http://www.mat.univie.ac.at/∼neum/ Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2008-12-12 05:03:04 Mathematical logic Mathematical proofs Proof theory Mathematical optimization Interval arithmetic Computer-assisted proof Linear programming Logarithm Maple Mathematics Operations research Automated theorem proving
282	Counting Affine Calculator and Applications Sven Verdoolaege INRIA Saclay — Île-de-France Parc Club Orsay Universite, ZAC des vignes 4 rue Jacques Monod, 91893 Orsay, France Add to Reading List Source URL: perso.ens-lyon.fr Language: English - Date: 2011-03-29 07:21:23 Compiler optimizations Linear algebra Deduction Entailment Logical consequence Metalogic Transitive closure Polytope model FO Mathematics Algebra Logic
283	Propositional Modal Logic∗ John MacFarlane—Philosophy 142 February 15, 2011 1 Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-02-15 14:21:03 Model theory Philosophical logic Non-classical logic Interpretation S5 Accessibility relation Logical connective Propositional calculus Linear temporal logic Logic Mathematical logic Modal logic
284	Experiments with Branching using General Disjunctions A. Mahajan∗ T.K Ralphs † Add to Reading List Source URL: coral.ie.lehigh.edu Language: English - Date: 2010-06-19 14:25:53 Combinatorial optimization Operations research Mathematical logic Linear programming Linear programming relaxation Cutting-plane method Algorithm Branch and bound Branch and cut Mathematical optimization Mathematics Theoretical computer science
285	PDF Document Add to Reading List Source URL: www.mtsu.edu Language: English - Date: 2015-03-03 05:49:47 Mathematical logic Calculus Linear algebra Applied mathematics Actuary Propositional calculus Precalculus Pi Areas of mathematics Mathematics education Mathematics Logic
286	Edge state integrals on shaped triangulations Rinat Kashaev University of Geneva joint work with F.Luo and G. Vartanov arXiv:EMS/DMF Joint Mathematical Weekend Add to Reading List Source URL: projects.au.dk Language: English - Date: 2013-04-25 09:56:55 Physics Operator theory Mathematical analysis Conformal field theory Lie algebras Linear temporal logic Μ operator Symbol Logarithm Mathematics
287	PDF Document Add to Reading List Source URL: upsilon.cc Language: English - Date: 2015-01-01 06:26:54 Mathematics Interpretation Structure Symbol Linear temporal logic Golden ratio base Model theory Metalogic Logic
288	1. Thanks to organizers for the invitation. 2. The first part of the work is joint with Kazuto Yoshimura from JAIST. Reductions in computability theory from a constructive point of view Add to Reading List Source URL: math.andrej.com Language: English - Date: 2014-07-19 08:49:25 Functions and mappings Function Entailment Universal property Μ operator Linear temporal logic Mathematics Logic Mathematical logic
289	CRITICAL THRESHOLDS IN 1D EULER EQUATIONS WITH NONLOCAL FORCES ´ A. CARRILLO, YOUNG-PIL CHOI, EITAN TADMOR, AND CHANGHUI TAN JOSE Abstract. We study the critical thresholds for the compressible pressureless Euler equati Add to Reading List Source URL: www.cscamm.umd.edu Language: English - Date: 2014-11-06 22:01:57 Distribution Functional analysis Dirac delta function Siméon Denis Poisson Euler equations Spectral theory of ordinary differential equations Linear temporal logic Mathematical analysis Generalized functions Fourier analysis
290	ASDEX Upgrade Relaxation to Neoclassical Flow Equilibrium in gyrokinetic theory and gyrofluid computation B. Scott Add to Reading List Source URL: www-jt60.naka.jaea.go.jp Language: English - Date: 2015-03-27 00:21:18 Introductory physics Fusion power Pinch Momentum Linear temporal logic Defining equation Physics Physical quantities Conservation laws

UPDATE